jade.content.abs
Class AbsIRE

java.lang.Object
  |
  +--jade.content.abs.AbsObject
        |
        +--jade.content.abs.AbsContentElement
              |
              +--jade.content.abs.AbsProposition
                    |
                    +--jade.content.abs.AbsIRE

public class AbsIRE

extends AbsProposition

Author:

Paola Turci, Federico Bergenti - Universita` di Parma

See Also:

Serialized Form

Constructor Summary

AbsIRE()
Constructor

Method Summary

java.lang.String	getKind() Gets the kind of the IRE, i.e., the cardinality of the query.
AbsProposition	getProposition() Gets the proposition.
AbsAggregate	getVariable() Gets the variable.
void	setKind(java.lang.String kind) Sets the kind of the IRE, i.e., the cardinality of the query.
void	setProposition(AbsProposition proposition) Sets the proposition.
void	setVariable(AbsVariable variable) Sets the variable.

Methods inherited from class jade.content.abs.AbsObject

dump, dump, getAbsObject, getCount, getNames, getTypeName, isGrounded, set

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AbsIRE

public AbsIRE()

Constructor

Method Detail

setKind

public void setKind(java.lang.String kind)

Sets the kind of the IRE, i.e., the cardinality of the query.

Parameters:

kind - the kind of the IRE.

setVariable

public void setVariable(AbsVariable variable)

Sets the variable.

Parameters:

variable - the variable.

setProposition

public void setProposition(AbsProposition proposition)

Sets the proposition.

Parameters:

proposition - the proposition.

getKind

public java.lang.String getKind()

Gets the kind of the IRE, i.e., the cardinality of the query.

Returns:

the kind of the IRE.

getVariable

public AbsAggregate getVariable()

Gets the variable.

Returns:

the variable.

getProposition

public AbsProposition getProposition()

Gets the proposition.

Returns:

the proposition.